$\forall$$r$:Rng, $e$:$\mid$$r$$\mid$. ($e$ $\uparrow$$r$ 0) = 1 $\in$ $\mid$$r$$\mid$